ar X iv : c s / 06 05 10 7 v 1 [ cs . L O ] 2 4 M ay 2 00 6 Supervisory Control of Fuzzy Discrete Event Systems with Partial Observations ∗

ar X iv : c s / 06 05 10 8 v 1 [ cs . A I ] 2 4 M ay 2 00 6 Diagnosability of Fuzzy Discrete Event Systems ∗

The failure diagnosis for discrete event systems (DESs) has received considerable attention in recent years. Recently, fuzzy discrete event systems (FDESs) were proposed and then applied to biomedicine by Lin et al, and controllability theorem and nonblocking controllability theorem of FDESs have been fundamentally established. The present work deals with the diagnosability of FDESs. We investi...

ar X iv : c s / 06 05 08 5 v 1 [ cs . L O ] 1 9 M ay 2 00 6 A Scalable Algorithm for Minimal Unsatisfiable Core Extraction ⋆

We propose a new algorithm for minimal unsatisfiable core extraction, based on a deeper exploration of resolution-refutation properties. We provide experimental results on formal verification benchmarks confirming that our algorithm finds smaller cores than suboptimal algorithms; and that it runs faster than those algorithms that guarantee minimality of the core. (A more complete version of thi...

ar X iv : m at h / 03 05 06 7 v 1 [ m at h . O C ] 4 M ay 2 00 3 Global Asymptotic Controllability Implies Input to State Stabilization ∗

We study nonlinear systems with observation errors. The main problem addressed in this paper is the design of feedbacks for globally asymptotically controllable (GAC) control affine systems that render the closed loop systems input to state stable with respect to actuator errors. Extensions for fully nonlinear GAC systems with actuator errors are also discussed.

ar X iv : a st ro - p h / 06 05 06 7 v 1 2 M ay 2 00 6 Sensitivity and pointing accuracy of the NEMO km 3 telescope

ar X iv : c s / 06 08 12 0 v 2 [ cs . G T ] 3 0 O ct 2 00 6 Controller synthesis & Ordinal Automata

Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak in 2005. It involves partial observability and a new synchronization between the controller and the environment.